]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b65735) | patch
run-dialog: Use user preference when executing in terminal
authorFlorian Müllner <fmuellner@gnome.org>
Wed, 1 Jun 2011 11:39:11 +0000 (13:39 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 1 Jun 2011 17:29:41 +0000 (19:29 +0200)
commitaa4dbee36236e09e1cf3e2aa73bfaff7d1f8f03f
tree2e97143dc85405dea0d256767e285b0bf242a1catree | snapshot
parent7b65735cc9f9158089614000438491694eb5ec25commit | diff
run-dialog: Use user preference when executing in terminal

Rather than hardcoding gnome-terminal, pick up the user's preferred
terminal from System Settings.

https://bugzilla.gnome.org/show_bug.cgi?id=648422
js/ui/runDialog.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.